Hakuluettelo:
Käännös:
Kripke frame (suomeksi)
- Määritelmät:
- (lb, en, logic) A set, whose elements are called ''nodes'' or ''worlds'', together with a preorder, preordering relation for that set, called its ''accessibility relation''.
Viimeisimmät haut: Kripke frame, subquadrats, meksikonpikkuvireo, Rufous-winged Ground Cuckoo, recurrence relation, aulan